In search of the first-order part of Ramsey's theorem for pairs

Leszek Kołodziejczyk (University of Warsaw)

16-May-2022, 14:00-15:30 (4 years ago)

logic

Audience: researchers in the topic


IM CAS logic seminar

Organizer: Neil Thapen*
*contact for this listing

Export talk to